1. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
2. Applied biostatistical principles and concepts :
پدیدآورنده : Laurens Holmes Jr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biometry.,Medical statistics.,Medicine-- Research-- Statistical methods.,Biometry.,Biostatistics.,Data Interpretation, Statistical.,Research Design.,Biometry.,Medical statistics.,Medicine-- Research-- Statistical methods.
رده :
R853
.
S7
H65
2017
3. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
4. Bayesian networks for probabilistic inference and decision analysis in forensic science
پدیدآورنده : \ Franco Taroni, Alex Biedermann, Silvia Bozza, Paolo Garbolino, Colin Aitken
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Bayesian statistical decision theory -- Graphic methods,Uncertainty (Information theory)-- Graphic methods,Forensic sciences-- Graphic methods,MATHEMATICS / Probability & Statistics / General.,نظریه تصمیم گیری آماری بیزی -- روش های گرافیکی
رده :
E-Book
,
5. Belief, evidence, and uncertainty
پدیدآورنده : Prasanta S. Bandyopadhyay, Gordon Brittan Jr., Mark L. Tape,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Knowledge, Theory of,Electronic books,Electronic books
رده :
EBOOK
,
BD
B2
161
6. Brains as engines of association :
پدیدآورنده : Dale Purves.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Brain.,Neural circuitry.,Neurobiology.,Brain-- physiology.,Nerve Net-- physiology.,Nervous System Physiological Phenomena.,Brain.,MEDICAL-- Physiology.,Neural circuitry.,Neurobiology.,SCIENCE-- Life Sciences-- Human Anatomy & Physiology.
رده :
QP356
.
25
.
P86
2019eb
7. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
8. Epistemic principles :
پدیدآورنده : Nicholas Rescher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Knowledge, Theory of.,Erkenntnistheorie,Grundlage,Knowledge, Theory of.,Prinzip
رده :
BD161
.
R475
2017
9. Errors of reasoning :
پدیدآورنده : John Woods (University of British Columbia and University of Lethbridge).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Error.,Inference.,Reasoning.,Error.,Inference.,Reasoning.
10. Information Systems Engineering :
پدیدآورنده : by Arne Sølvberg, David Chenho Kung.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Management information systems.,Software engineering.
رده :
T58
.
5
B937
1993
11. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
12. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
13. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
14. Speech Recognition and Understanding :
پدیدآورنده : edited by Pietro Laface, Renato Mori.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
TK7882
.
S65
E358
1992
